correspondent inference

对应推论